Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
91	JFP 19 (6): 699–722, c Cambridge University Press 2009 699 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2009-11-01 21:42:18 Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic
92	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
93	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
94	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science
95	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
96	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
97	Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-05-03 16:27:37 Computing Logic in computer science Theoretical computer science Programming language semantics Abductive reasoning Charles Sanders Peirce Operational semantics ALGOL 68 Algorithm Procedural programming languages Programming language theory Software engineering
98	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude Huibiao Zhu1 Peng Liu1 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:48:22 Mathematical logic Logic in computer science Semantics Grammar Denotational semantics Operational semantics Algebraic semantics Negation Interpretation Programming language semantics Theoretical computer science Logic
99	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
100	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics

UPDATE